|
|
Registros recuperados : 6 | |
5. | | SILVA, F.; DINNOUTI, L. S.; ROJAS MONTAÑO, R. A. N.; CASTILHO, M. A. LABPAT: Laboratório de Provadores Automáticos de Teoremas. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. v.2 p. 1471-1477. Biblioteca(s): Embrapa Agricultura Digital. |
| |
Registros recuperados : 6 | |
|
|
Registros recuperados : 3 | |
Registros recuperados : 3 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|